<?php
class admin_core_Menu_Adapter extends core_Menu_Adapter
{}